" Catuscia Palamidessi" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings (Lecture Notes in Computer Science)

Catuscia Palamidessi

Категория: Компьютеры

12.26 Mb

#2

SOFSEM 2009: Theory and Practice of Computer Science, 35 conf

Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank Valencia

Категория: Cs_Computer science, CsLn_Lecture notes

11.01 Mb

#3

Principles of Declarative Programming, 10 conf., PLILP'98

Catuscia Palamidessi, Hugh Glaser, Karl Meinke

Категория: Cs_Computer science, CsLn_Lecture notes

3.71 Mb

#4

Automata, Languages and Programming, 32 conf., ICALP 2005

Luis Caires, Guiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung

Категория: Cs_Computer science, CsLn_Lecture notes

9.74 Mb

#5

CONCUR 2000 - Concurrency Theory, 11 conf

Catuscia Palamidessi

Категория: Cs_Computer science, CsLn_Lecture notes

4.36 Mb

#6

Computational Logic - CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings

John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey

13.12 Mb

#7

Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

Catuscia Palamidessi

7.16 Mb